4

Temporal logics for real-time system specification

Year:
2000
Language:
english
File:
PDF, 228 KB
english, 2000
8

Relaxation and recombination in ultrasmall InAs quantum dots

Year:
1996
Language:
english
File:
PDF, 360 KB
english, 1996
10

An interval logic for real-time system specification

Year:
2001
Language:
english
File:
PDF, 457 KB
english, 2001